одноместный предикат

См. также в других словарях:

• Предикат — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. У этого термина …   Википедия

• Предикат (лингвистика) — У этого термина существуют и другие значения, см. Предикат. В Викисловаре есть статья «предикат» Предикат …   Википедия

• СВОЙСТВО — (греч. idion; лат. proprium) то, что присуще к. л. предмету и характеризует его само по себе, а не говорит о его отношении с некоторыми др. объектами. В логике Аристотеля С. то, что присуще всем членам некоторого вида и специфично для них; в… …   Философская энциклопедия

• Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

• ЛОГИКА ПРЕДИКАТОВ — раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. Логика высказываний ), то Л. п. можно рассматривать …   Современный философский словарь

• семантическая категория — класс языковых выражений, взаимная замена которых в предложении сохраняет его грамматический статус, т. е. предложение остается предложением. Если, напр., в предложении Волга впадает в Каспийское море слово Волга мы заменим словом Нева , то… …   Словарь терминов логики

• КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «V», и К. существования, «Э». В… …   Философская энциклопедия

• ФАКТ — (от лат. factum сделанное, совершившееся) 1) синоним понятий «истина», «событие», «результат»; нечто реальное в противоположность вымышленному; конкретное, единичное в отличие от абстрактного и общего; 2) в философии науки особого рода п …   Философская энциклопедия

• ЗЕНОН ЭЛЕЙСКИЙ — (род. ок. 490, Элея, Нижняя Италия – ум. 430 до Р. X.) первый древнегреч. философ, писавший прозаические соч. и пользовавшийся приемами косвенного доказательства, за что и назван был «изобретателем диалектики», прославился своими парадоксами.… …   Философская энциклопедия

• АВТОМАТОВ ПОЛНЫЕ СИСТЕМЫ — специальные подмножества заданного класса Мавтоматов, на к ром определено нек рое множество операций со значениями в М. Эти подмножества обладают следующим основным свойством (свойством полноты): множество всех автоматов, к рые получаются путем… …   Математическая энциклопедия

• Натуральное число — Натуральные числа можно использовать для счёта (одно яблоко, два яблока и т. п.). Натуральные числа (естественные числа)  числа, возникающие естественным образом при счёте (как в смысле перечисл …   Википедия